int getbuildnum(void);